TSTP Solution File: GEO365^1 by Isabelle---2016